Quantitative robustness analysis of quantum programs
نویسندگان
چکیده
منابع مشابه
Symbolic Quantitative Robustness Analysis of Timed Automata
We study the robust safety problem for timed automata under guard imprecisions which consists in computing an imprecision parameter under which a safety specification holds. We give a symbolic semi-algorithm for the problem based on a parametric data structure, and evaluate its performance in comparison with a recently published one, and with a binary search on enlargement values.
متن کاملQuantitative Robustness Analysis of Flat Timed Automata
Whereas formal verification of timed systems has become a very active field of research, the idealized mathematical semantics of timed automata cannot be faithfully implemented. Recently, several works have studied a parametric semantics of timed automata related to implementability: if the specification is met for some positive value of the parameter, then there exists a correct implementation...
متن کاملRobustness Analysis of Floating-Point Programs by Self-Composition
Robustness is a key property for critical systems that run in uncertain environments, to ensure that small input perturbations can cause only small output changes. Current critical systems often involve lots of floating-point computations which are inexact. Robustness analysis of floating-point programs needs to consider both the uncertain inputs and the inexact computation. In this paper, we p...
متن کاملRobustness Analysis of Stochastic Programs with Joint Probabilistic Constraints
Due to their frequently observed lack of convexity and/or smoothness, stochastic programs with joint probabilistic constraints have been considered as a hard type of constrained optimization problems, which are rather demanding both from the computational and robustness point of view. Dependence of the set of solutions on the probability distribution rules out the straightforward construction o...
متن کاملA Quantitative Analysis of Localized Robustness of MYCN in Neuroblastoma
The amplification of the gene MYCN (V-myc myelocytomatosis viral-valeted oncogene, neuroblastoma derived) has been a well-documented indicator for poor prognosis in neuroblastoma, a childhood cancer. Unfortunately, there has been limited success in understanding MYCN functionality in the landscape of neuroblastoma and more importantly, given that MYCN has been deemed “undruggable,” the need to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2019
ISSN: 2475-1421
DOI: 10.1145/3290344